Condition

patt/;test is a pattern which matches only if the evaluation of test yields True. 

lhs:>rhs/;test represents a rule which applies only if the evaluation of test yields True. 

lhs:=rhs/;test is a definition to be used only if test yields True. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.